| Description |
1 online resource (xvi, 523 pages) : illustrations |
| Series |
Trends in logic ; v. 36 |
|
Trends in logic ; v. 36.
|
| Contents |
Foundations. Dual tableau for classical first-order logic ; Dual tableaux for logics of classical algebras of binary relations ; Theories of point relations and relational model checking -- Reasoning in logics of non-classical algebras of relations. Dual tableaux for Peirce algebras ; Dual tableaux for fork algebras ; Dual tableaux for relational databases -- Relational reasoning in traditional non-classical logics. Dual tableaux for classical modal logics ; Dual tableaux for some logics based on intuitionism ; Dual tableaux for relevant logics ; Dual tableaux for many-valued logics -- Relational reasoning in logics of information and data analysis. Dual tableaux for information logics of plain frames ; Dual tableaux for information logics of relative frames ; Dual tableau for formal concept analysis ; Dual tableau for fuzzy logic ; Dual tableaux for logics of order of magnitude reasoning -- Relational reasoning about time, space, and action. Dual tableaux for temporal logics ; Dual tableaux for interval temporal logics ; Dual tableaux for spatial reasoning ; Dual tableaux for logics of programs -- Beyond relational theories. Dual tableaux for threshold logics ; Signed dual tableau for Gödel-Dummett logic ; Dual tableaux for first-order post logics ; Dual tableau for propositional logic with identity ; Dual tableaux for logics of conditional decisions -- Conclusion. Methodological principles of dual tableaux |
| Summary |
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux a |
| Bibliography |
Includes bibliographical references (pages 495-517) and index |
| Notes |
Print version record |
| Subject |
Logic.
|
|
PHILOSOPHY -- Logic.
|
|
Logic
|
| Form |
Electronic book
|
| Author |
Golińska-Pilarek, Joanna
|
| ISBN |
9789400700055 |
|
9400700059 |
|
